Superposition with Delayed Unification

Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation

Quantum Delayed-Choice Experiment with a Beam Splitter in a Quantum Superposition.

A quantum system can behave as a wave or as a particle, depending on the experimental arrangement. When, for example, measuring a photon using a Mach-Zehnder interferometer, the photon acts as a wave if the second beam splitter is inserted, but as a particle if this beam splitter is omitted. The decision of whether or not to insert this beam splitter can be made after the photon has entered the...

Super resolution with superposition

Optical imaging and lithography, the processes in which spatial patterns are resolved or transferred onto a detector or substrate via photons, cannot produce spatial features that are much smaller than the wavelength of light. This limitation has its roots in classical diffraction [1], which had been considered as a fundamental limit to all such imaging systems. Most notably, computer chip manu...

Hierarchic Superposition with Weak Abstraction

Many applications of automated deduction require reasoning in first-order logic modulo background theories, in particular some form of integer arithmetic. A major unsolved research challenge is to design theorem provers that are “reasonably complete” even in the presence of free function symbols ranging into a background theory sort. The hierarchic superposition calculus of Bachmair, Ganzinger,...

Lisdexamfetamine Toxicity with Delayed Hypertensive Emergency

Background: Lisdexamfetamine is a stimulant used for the treatment of attention-deficit/hyperactivity disorder. Limited data exist regarding the presentation and management of patients with lisdexamfetamine toxicity. Case Presentation: A 17-year-old female with history of prior suicide attempt presented to the emergency department after ingestion of 50 lisdexamfetamine 40 mg capsules which belo...